|
|
Concurrency 88 / Proceedings of the International Conference... ; ed. F. H. Vogt
Monografia
Publication
Berlin : Springer-Verlag, 1988
Description
400 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematics of program construction / Proceedings of International Conference... ; ed. Johan Jeuring
Monografia
Publication
Berlin : Springer, 1998
Description
X, 382 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advances in cryptology - AUSCRYPT'90 / Proceedings of the International Conference... ; ed. J. Seberry, J. Pieprzyk
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
IX, 462 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Computer assisted learning / Proceedings of 3rd International Conference... ; D. H. Norrie, H. W. Six
Monografia
Publication
Berlin : Springer-Verlag, 1990
Description
VII, 466 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematics of program construction / Proceedings of International Conference... ; ed. J. L. A. van de Snepscheut
Monografia
Publication
Berlin : Springer-Verlag, 1989
Description
VI, 420 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
ICDT'88 / Proceedings of 2nd International Conference... ; ed. M. Gyssens, J. Paredaens, D. Van Gucht
Monografia
Publication
Berlin : Springer-Verlag, 1988
Description
VI, 409 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
CONPAR 90-VAPP IV / Proceedings of the Joint International Conference... ; ed. H. Burkhart
Monografia
Publication
Berlin : Springer-Verlag, 1990
Description
XI, 900 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematical foundations of programming semantics / Proceedings of the 5th International Conference... ; ed. M. G. Main... [et al.]
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
VI, 439 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
TAPSOFT'87 / Proceedings of the International Joint Conference...
Monografia
Publication
Berlin : Springer-Verlag, 1987-19--
Description
v. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
Business process management / Proceedings of the International Conference... ; ed. Wil van der Aaslst, Arthur ter Hofstede, Mathias Weske
Monografia
Publication
Berlin : Springer, cop. 2003
Description
XI, 389 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Business process management / Proceedings of the International Conference... ; ed. Jörg Desel, Barbara Pernici, Mathias Weske
Monografia
Publication
Berlin : Springer, cop. 2004
Description
X, 305 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Third international conference on logic programming / Proceedings... ; ed. Ehud Shapiro
Monografia
Publication
Berlin : Springer-Verlag, cop. 1986
Description
IX, 719 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
TAPSOFT'89 / Proceedings of the International Joint Conference... ; ed. J. Díaz, F. Orejas
Monografia
Publication
Berlin : Springer-Verlag, 1989
Description
v. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
Lost (1).
|
|
|
Theoretical aspects of computer software / Proceedings of International Conference TACS'91 ; ed. T. Ito, A. R. Meyer
Monografia
Publication
Berlin : Springer-Verlag, 1991
Description
X, 770 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|